41. Program analysis and compilation, theory and practice
Author: / Thomas Reps, Mooly Sagiv, J?�rg Bauer (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Wilhelm, R.--(Reinhard),--1946,Computer programs--Verification--Congresses,Compilers (Computer programs)--Congresses,Computer programming--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
P745
,
2007
42. Program analysis and compilation, theory and practice
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: ; Computer programs ; Verification ; Congresses. ; Compilers (Computer programs) ; Congresses. ; Computer programming ; Congresses. ; -Wilhelm, R. ; (Reinhard), ; 1946
43. Program analysis and compilation, theory and practice :
Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
Classification :
QA76
.
76
.
V47
P745
2007
44. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
Author: edited by Neil D. Jones
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
94
45. Software and compilers for embedded systems : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings
Author: Henk Schepers )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
3199
46. Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings
Author: Andreas Krall )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Programming -- Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
2826
47. Theory of Cryptography
Author: \ Björn Franke (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلرها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه نویسی ,مهندسی نرم افزار
Classification :
QA76
.
76
.
T46
2015
E-Book
,
48. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
